Method: createNonBufferingReasoner(OWLOntology, OWLReasonerConfiguration)

1: /*
2: * JOPA
3: * Copyright (C) 2023 Czech Technical University in Prague
4: *
5: * This library is free software; you can redistribute it and/or
6: * modify it under the terms of the GNU Lesser General Public
7: * License as published by the Free Software Foundation; either
8: * version 3.0 of the License, or (at your option) any later version.
9: *
10: * This library is distributed in the hope that it will be useful,
11: * but WITHOUT ANY WARRANTY; without even the implied warranty of
12: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13: * Lesser General Public License for more details.
14: *
15: * You should have received a copy of the GNU Lesser General Public
16: * License along with this library.
17: */
18: package cz.cvut.kbss.jopa.owlapi.identityreasoner;
19:
20: import org.semanticweb.owlapi.model.OWLOntology;
21: import org.semanticweb.owlapi.reasoner.OWLReasoner;
22: import org.semanticweb.owlapi.reasoner.OWLReasonerConfiguration;
23: import org.semanticweb.owlapi.reasoner.OWLReasonerFactory;
24:
25: import javax.annotation.Nonnull;
26:
27: @Deprecated
28: public class OWLAPIIdentityReasonerFactory implements OWLReasonerFactory {
29:
30: @Nonnull
31: public OWLReasoner createNonBufferingReasoner(@Nonnull OWLOntology ontology) {
32: return createNonBufferingReasoner(ontology, null);
33: }
34:
35: @Nonnull
36: public OWLReasoner createNonBufferingReasoner(@Nonnull OWLOntology ontology,
37: @Nonnull OWLReasonerConfiguration config) {
38: return new OWLAPIIdentityReasoner(ontology);
39: }
40:
41: @Nonnull
42: public OWLReasoner createReasoner(@Nonnull OWLOntology ontology) {
43: return createReasoner(ontology, null);
44: }
45:
46: @Nonnull
47: public OWLReasoner createReasoner(@Nonnull OWLOntology ontology,
48: @Nonnull OWLReasonerConfiguration config) {
49: return new OWLAPIIdentityReasoner(ontology);
50: }
51:
52: @Nonnull
53: public String getReasonerName() {
54: return "Identity reasoner";
55: }
56: }